Guarded Horn Clauses Application and Implementation

Transformation of Guarded Horn Clauses for Model Building

The guarded fragment of rst order logic has been de ned in [ABN96]. It is interesting due to the fact that it is decidable and several modal logics can be translated into it. Guarded clauses, de ned by de Nivelle in [Niv98], result from transformation of guarded formulas into clause form. In [Niv98], it is shown that the class of guarded clause sets is decidable by saturation under ordered reso...

Guarded Horn Clauses

This thesis introduces the programming language Guarded Horn Clauses which is abbreviated to GHC. Guarded Horn Clauses was born from the examination of existing logic programming languages and logic programming in general, with special attention paid to parallelism. The main feature of GHC is its extreme simplicity compared with the other parallel programming languages. GHC is a restriction of ...

Guarded Horn Clauses: A Parallel Logic Programming Language with the Concept of a Guard

Introduction to Guarded Horn Clauses

This paper informally introduces a programming language Guarded Horn Clauses (GHC) through program examples. GHC is a parallel programming language devised from investigation of the basic framework and practice of logic programming. It has introduced the guard construct with simple semantics into logic programming to express interacting processes. A GHC program naturally expresses parallelism i...

Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control

Agent-based systems technologies are of emerging interest in the specification and implementation of complex systems. This article introduces the CASA agent development system which seamlessly combines the BDI (Belief Desire Intention) approach with the FIPA agent communication language standard and an integrated specification of fuzzy controllers. The behavior of agents is defined by strategie...